منابع مشابه
Improving the ISO Prolog Standard by Analyzing Compliance Test Results
Part 1 of the ISO Prolog standard (ISO/IEC 13211) published in 1995 covers the core of Prolog, including syntax, operational semantics, streams and some built-in predicates. Libraries, DCGs, and global mutables are current standardization topics. Most Prolog implementations provide an ISO mode in which they adhere to the standard. Our goal is to improve parts of the Prolog standard already publ...
متن کاملAssessment of Educational Needs in Iranian Sports Organizations Based on the ISO 10015 Standard
The aim of this study was to evaluate the needs assessment component of service education programs for the managers and staff at the Department of Youth and Sports based on the ISO 10015 standard. The research method was a descriptive survey conducted as a case study. The statistical population consisted of all managers and staff, consisting a total of 120 of the Esfahan Province General Direct...
متن کاملPadding Oracle Attacks on the ISO CBC Mode Encryption Standard
In [8] Vaudenay presented an attack on block cipher CBCmode encryption when a particular padding method is used. In this paper, we employ a similar approach to analyse the padding methods of the ISO CBC-mode encryption standard. We show that, for several of the padding methods referred to by this standard, we can exploit an oracle returning padding correctness information to efficiently extract...
متن کاملSubtleties of the ANSI/ISO C standard
In our Formalin project to formalize C11 (the ANSI/ISO standard of the C programming language) we discovered many subtleties that make formalization of this standard difficult. We discuss some of these subtleties and indicate how they may be addressed in a formal C semantics. Furthermore, we argue that the C standard does not allow Turing complete implementations, and that its evaluation semant...
متن کاملA Self-assessment Framework for Finding Improvement Objectives with ISO/IEC 29119 Test Standard
One of the latest additions in defining the test process is the upcoming ISO/IEC 29119 standard, which aims to define a universally applicable generic test process model. However, currently the standard does not offer any support for the adoption process of the model. In this paper, we present our framework, which aims to combine a maturity level-based approach with the standard process. Our ob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: CORROSION ENGINEERING
سال: 1977
ISSN: 0010-9355,1884-1155
DOI: 10.3323/jcorr1974.26.2_97